How to prove that a sequence is not automatic
نویسندگان
چکیده
Automatic sequences have many properties that other (in particular, non-uniformly morphic sequences) do not necessarily share. In this paper we survey a number of different methods can be used to prove given sequence is automatic. When the take their values in finite field Fq, also permits proving associated formal power series are transcendental over Fq(X).
منابع مشابه
How to Prove That a Committed Number Is Prime
The problem of proving a number is of a given arithmetic format with some prime elements, is raised in RSA undeniable signature, group signature and many other cryptographic protocols. So far, there have been several studies in literature on this topic. However, except the scheme of Camenisch and Michels, other works are only limited to some special forms of arithmetic format with prime element...
متن کاملA two-valued recurrent double sequence that is not automatic
A recurrent 2-dimensional (double) sequence t(m,n) is given by fixing particular sequences t(m, 0), t(0, n) as initial conditions and a rule of recurrence t(m,n) = t(a(m,n − 1), t(m − 1, n − 1), t(m − 1, n)) for m,n ≥ 1. We display such a sequence with values in the set {0, 1} and show that all rows are periodic and that the minimal period of the n-th row has length 2. We conclude that this 2-d...
متن کاملHow to prove that a preconditioner cannot be superlinear
In the general case of multilevel Toeplitz matrices, we recently proved that any multilevel circulant preconditioner is not superlinear (a cluster it may provide cannot be proper). The proof was based on the concept of quasi-equimodular matrices, although this concept does not apply, for example, to the sine-transform matrices. In this paper, with a new concept of partially equimodular matrices...
متن کاملHow to Prove That a Preconditioner Cannot Be Superlinear
In the general case of multilevel Toeplitz matrices, we recently proved that any multilevel circulant preconditioner is not superlinear (a cluster it may provide cannot be proper). The proof was based on the concept of quasi-equimodular matrices, although this concept does not apply, for example, to the sine-transform matrices. In this paper, with a new concept of partially equimodular matrices...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Expositiones Mathematicae
سال: 2022
ISSN: ['1878-0792', '0723-0869']
DOI: https://doi.org/10.1016/j.exmath.2021.08.001